the rcv(free message from $e_{1}$ to $j$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}first{-}from(${\it es}$;$e_{1}$;$<$loc($e_{1}$), $j$, "\$z"$>$;"\$free")